# name: \begin{lemma}...\end{lemma}
# --
\begin{lemma}[$1]
  \label{lemma:${1:$(downcase (replace-regexp-in-string " " "_" text))}}
  $0
\end{lemma}
